xen: sched: use default scheduler upon an invalid "sched="
authorDario Faggioli <dario.faggioli@citrix.com>
Fri, 17 Jun 2016 10:31:00 +0000 (12:31 +0200)
committerGeorge Dunlap <george.dunlap@citrix.com>
Fri, 17 Jun 2016 14:08:08 +0000 (15:08 +0100)
commit9dec2c47406f4ef31711656722f5f70d758d6160
treeaf265af765c56cd6447dfda54db8f4cba43e40ce
parent2f7b56c1a7b1ee92ff5f92888723e380412dd3ab
xen: sched: use default scheduler upon an invalid "sched="

instead of just the first scheduler we find in the array.

In fact, right now, if someone makes a typo when passing
the "sched=" command line option to Xen, we (with all
schedulers configured in) pick ARINC653, which is most
likely not what one would expect.

Go for the default scheduler instead.

Signed-off-by: Dario Faggioli <dario.faggioli@citrix.com>
Acked-by: George Dunlap <george.dunlap@citrix.com>
Reviewed-by: Andrew Cooper <andrew.cooper3@citrix.com>
Reviewed-By: Jonathan Creekmore <jonathan.creekmore@gmail.com>
xen/common/schedule.c